Distributed System Contract Monitoring✩ Adrian Francalanza, Andrew Gauci, Gordon J. Pace Department of Computer Science, University of Malta Abstract Runtime verification of distributed systems poses various challenges

Source URL: staff.um.edu.mt

Unlocking Blocked Communicating Processes Adrian Francalanza Marco Giunti CS, ICT, University of Malta

Source URL: staff.um.edu.mt

Investigating Instrumentation Techniques for ESB Runtime Verification? Christian Colombo1 , Gabriel Dimech2 , and Adrian Francalanza1 1 Department of Computer Science, University of Malta

Source URL: staff.um.edu.mt

An LTL Proof System for Runtime Verification Clare Cini1 and Adrian Francalanza1 Computer Science, ICT, University of Malta {clare.cini.08,adrian.francalanza}@um.edu.mt Abstract. We propose a local proof system for LTL

Source URL: staff.um.edu.mt

Synthesising Correct Concurrent Runtime Monitors (Extended Abstract) Adrian Francalanza1 and Aldrin Seychell1 Computer Science, ICT, University of Malta. {afra1,asey0001}@um.edu.mt

Source URL: staff.um.edu.mt

Procedural Personas as Critics for Dungeon Generation Antonios Liapis1 , Christoffer Holmg˚ard2 , Georgios N. Yannakakis1,2 , and Julian Togelius2 1 Institute of Digital Games, University of Malta, Msida, Malta

Source URL: julian.togelius.com

• Software
• Classes of computers
• Gaming
• Role-playing video games
• ZX Spectrum games
• Dungeon!
• Rogue
• Procedural generation
• Main Character

Code Management Automation for Erlang Remote Actors Adrian Francalanza Tyron Zerafa CS, ICT, University of Malta

Source URL: staff.um.edu.mt

STV in Malta: A crisis? A. Buhagiar, J. Lauri University of Malta STV in Malta can be found inIt appears that from early on there were some problems with the

Source URL: www.votingmatters.org.uk

CHILDREN INTERPRETING WILDLIFE THROUGH NATURAL HISTORY DIORAMAS Edward Mifsud1 and Sue Dale Tunnicliffe2 1 University of Malta, Faculty of Education, Malta 2

Source URL: www.esera.org